Association Nets: an Alternative Formalization of Common Thinking
نویسنده
چکیده
The development of programming as well as some studies in artiicial intelligence have produced their own conceptualizations used in the representation of tasks being solved and methods applied. This paper is an attempt at logic-like representation of a programming system, based on the open data model and object-oriented programming, earlier developed and extensively used by the author for various tasks including authomatic programming and natural language understanding. This is suggested as an alternative to traditional logic systems in description of common thinking.
منابع مشابه
The Interaction between Reflective Thinking and Grade Dropping: An Alternative Assessment Policy
The present study aimed to investigate the interaction among grade dropping and reflective thinking abilities of the participants and to also check if action research enhances learners’ reflective thinking. A cyclic action research was run for 8 sessions. Kember et al.’s (2010) reflective thinking questionnaire and three in-term quizzes were administered. Students also made questions based on t...
متن کاملFormalization of Variables in Algebraic High-Level Nets: Comparison of Di erent Approaches
The paper discusses diierent approaches to formalize the representation of variables in Algebraic High-Level nets (AHL nets). We compare the approaches formally with regard to certain quality conditions a good AHL net formalization should satisfy. These quality conditions are (1) the cocompleteness of the underlying category of AHL nets and AHL net morphisms as this is the technical basis for t...
متن کاملDefeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets
Based on a remark of Girard (1992) and a formalization given by Fouqueré and Vauzeilles (1994), we investigate a formalization of defeasible inheritance reasoning in terms of linear logic. We show a correspondence between defeasible inheritance networks, a Horn fragment of linear logic, and proof nets for linear logic. In particular, we show a structural correspondence between defeasible inheri...
متن کاملFormalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System
This paper presents an experience of a multiagent model formalization using coloured Petri nets, applied to the study of an hunting management system. The multiagent model of the hunting activity is presented, with simulation results. Then we describe Petri nets model assumptions and we give details about system modules. We analyze the model and we compare formal properties to multiagent simula...
متن کاملWHO global atlas on traditional, complementary and alternative medicine (TCAM)
Due to rising demand for traditional complementary and alternative medicine (TCAM) globally, international ministerial groups and professional bodies have been calling for a global perspective on policy and a means for countries to share information and policy initiatives with one another. The WHO Global Atlas is designed to: assess the status of development of the sector; plan for further deve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997